Quantification (AOP)

In AOP, we make quantified statements about which code is to execute in which circumstances:

In programs P, whenever condition C arises, perform action A

In the statement above, C is the quantification.